From 1a0ec4d56c37adcdad507fa4521ecf4b2b2cc993 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jorge=20Israel=20Pe=C3=B1a?= Date: Tue, 25 Aug 2015 12:10:58 -0700 Subject: [PATCH] make sure that environment-variables page is built PR 1845 seems to have forgotten to add the page to the DOCS variable in the makefile --- Makefile.in | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index f6d8c9978..0dd5c2c88 100644 --- a/Makefile.in +++ b/Makefile.in @@ -119,7 +119,8 @@ clean: # === Documentation -DOCS := index faq config guide manifest build-script pkgid-spec crates-io +DOCS := index faq config guide manifest build-script pkgid-spec crates-io \ + environment-variables DOC_DIR := target/doc DOC_OPTS := --markdown-no-toc \ --markdown-css stylesheets/normalize.css \ -- 2.30.2